proper subgraph